CBMC_GC_ROOT = ../../../
MINIMIZATION_TIME = 600
